<?php

echo (string) $header;
